<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<meta name="generator" content="Doxygen 1.8.6"/>
<title>SystemSharp: TypeDependencyResolution.cs Source File</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<link href="navtree.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="resize.js"></script>
<script type="text/javascript" src="navtree.js"></script>
<script type="text/javascript">
  $(document).ready(initResizable);
  $(window).load(resizeHeight);
</script>
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/search.js"></script>
<script type="text/javascript">
  $(document).ready(function() { searchBox.OnSelectItem(0); });
</script>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">
  <td id="projectlogo"><img alt="Logo" src="logo.png"/></td>
  <td style="padding-left: 0.5em;">
   <div id="projectname">SystemSharp
   &#160;<span id="projectnumber">0.3</span>
   </div>
   <div id="projectbrief">A system-level modeling framework for designing real-time embedded systems</div>
  </td>
 </tr>
 </tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.8.6 -->
<script type="text/javascript">
var searchBox = new SearchBox("searchBox", "search",false,'Search');
</script>
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="index.html"><span>Main&#160;Page</span></a></li>
      <li><a href="namespaces.html"><span>Packages</span></a></li>
      <li><a href="annotated.html"><span>Classes</span></a></li>
      <li class="current"><a href="files.html"><span>Files</span></a></li>
      <li>
        <div id="MSearchBox" class="MSearchBoxInactive">
        <span class="left">
          <img id="MSearchSelect" src="search/mag_sel.png"
               onmouseover="return searchBox.OnSearchSelectShow()"
               onmouseout="return searchBox.OnSearchSelectHide()"
               alt=""/>
          <input type="text" id="MSearchField" value="Search" accesskey="S"
               onfocus="searchBox.OnSearchFieldFocus(true)" 
               onblur="searchBox.OnSearchFieldFocus(false)" 
               onkeyup="searchBox.OnSearchFieldChange(event)"/>
          </span><span class="right">
            <a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="search/close.png" alt=""/></a>
          </span>
        </div>
      </li>
    </ul>
  </div>
  <div id="navrow2" class="tabs2">
    <ul class="tablist">
      <li><a href="files.html"><span>File&#160;List</span></a></li>
      <li><a href="globals.html"><span>File&#160;Members</span></a></li>
    </ul>
  </div>
</div><!-- top -->
<div id="side-nav" class="ui-resizable side-nav-resizable">
  <div id="nav-tree">
    <div id="nav-tree-contents">
      <div id="nav-sync" class="sync"></div>
    </div>
  </div>
  <div id="splitbar" style="-moz-user-select:none;" 
       class="ui-resizable-handle">
  </div>
</div>
<script type="text/javascript">
$(document).ready(function(){initNavTree('_type_dependency_resolution_8cs_source.html','');});
</script>
<div id="doc-content">
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
     onmouseover="return searchBox.OnSearchSelectShow()"
     onmouseout="return searchBox.OnSearchSelectHide()"
     onkeydown="return searchBox.OnSearchSelectKey(event)">
<a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(0)"><span class="SelectionMark">&#160;</span>All</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(1)"><span class="SelectionMark">&#160;</span>Classes</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(2)"><span class="SelectionMark">&#160;</span>Namespaces</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(3)"><span class="SelectionMark">&#160;</span>Files</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(4)"><span class="SelectionMark">&#160;</span>Functions</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(5)"><span class="SelectionMark">&#160;</span>Variables</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(6)"><span class="SelectionMark">&#160;</span>Typedefs</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(7)"><span class="SelectionMark">&#160;</span>Enumerations</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(8)"><span class="SelectionMark">&#160;</span>Enumerator</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(9)"><span class="SelectionMark">&#160;</span>Properties</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(10)"><span class="SelectionMark">&#160;</span>Events</a></div>

<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="javascript:void(0)" frameborder="0" 
        name="MSearchResults" id="MSearchResults">
</iframe>
</div>

<div class="header">
  <div class="headertitle">
<div class="title">TypeDependencyResolution.cs</div>  </div>
</div><!--header-->
<div class="contents">
<a href="_type_dependency_resolution_8cs.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;</div>
<div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="keyword">using</span> System;</div>
<div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="keyword">using</span> System.Collections.Generic;</div>
<div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;<span class="keyword">using</span> System.Diagnostics;</div>
<div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="keyword">using</span> System.Linq;</div>
<div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;<span class="keyword">using</span> System.Reflection;</div>
<div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;<span class="keyword">using</span> System.Text;</div>
<div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="keyword">using</span> SystemSharp.Analysis;</div>
<div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="keyword">using</span> SystemSharp.Common;</div>
<div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;<span class="keyword">using</span> SystemSharp.SysDOM;</div>
<div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;</div>
<div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;<span class="keyword">namespace </span>SystemSharp.Meta</div>
<div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;{</div>
<div class="line"><a name="l00036"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_meta_1_1_type_dependency_resolution.html">   36</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">class </span><a class="code" href="class_system_sharp_1_1_meta_1_1_type_dependency_resolution.html">TypeDependencyResolution</a></div>
<div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;    {</div>
<div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;        <span class="keyword">private</span> <span class="keyword">class </span>StmtTypeResolver : </div>
<div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;            <a class="code" href="interface_system_sharp_1_1_sys_d_o_m_1_1_i_statement_visitor.html">IStatementVisitor</a>, </div>
<div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;            <a class="code" href="interface_system_sharp_1_1_sys_d_o_m_1_1_i_literal_visitor.html">ILiteralVisitor</a></div>
<div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;        {</div>
<div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;            <span class="keyword">private</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_literal.html">Literal</a> _result;</div>
<div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;            <span class="keyword">private</span> <a class="code" href="class_system_sharp_1_1_meta_1_1_design_descriptor.html">DesignDescriptor</a> _design;</div>
<div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;            <span class="keyword">private</span> Stack&lt;IPackageOrComponentDescriptor&gt; _stack = <span class="keyword">new</span> Stack&lt;IPackageOrComponentDescriptor&gt;();</div>
<div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;</div>
<div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;            <span class="keyword">public</span> <a class="code" href="interface_system_sharp_1_1_meta_1_1_i_component_descriptor.html">IComponentDescriptor</a> CurComponent { <span class="keyword">get</span>; <span class="keyword">private</span> set; }</div>
<div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;</div>
<div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;            <span class="keyword">public</span> <span class="keywordtype">void</span> RequireType(<a class="code" href="class_system_sharp_1_1_meta_1_1_type_descriptor.html">TypeDescriptor</a> type, <a class="code" href="class_system_sharp_1_1_meta_1_1_design_descriptor.html">DesignDescriptor</a> design)</div>
<div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;            {</div>
<div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;                <span class="keywordflow">if</span> (!type.<a class="code" href="class_system_sharp_1_1_meta_1_1_type_descriptor.html#a2304c78f42e22f2ebbbaa6ee3e46ed05">HasIntrinsicTypeOverride</a> &amp;&amp;</div>
<div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;                    !type.<a class="code" href="class_system_sharp_1_1_meta_1_1_type_descriptor.html#a0169e7b6aac9da0659a1bb6b7474cfee">CILType</a>.IsPrimitive)</div>
<div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;                {</div>
<div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;                    design.TypeLib.AddType(type);</div>
<div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;                    CurComponent.AddDependency(_design.TypeLib.GetPackage(type.CILType));</div>
<div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;                }</div>
<div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;            }</div>
<div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;</div>
<div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;            <span class="keyword">public</span> <span class="keywordtype">void</span> VisitConstant(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_constant.html">Constant</a> constant)</div>
<div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;            {</div>
<div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;                _result = constant;</div>
<div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;            }</div>
<div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;</div>
<div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;            <span class="keyword">public</span> <span class="keywordtype">void</span> VisitVariable(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_variable.html">Variable</a> variable)</div>
<div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;            {</div>
<div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;                _result = variable;</div>
<div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;            }</div>
<div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;</div>
<div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;            <span class="keyword">public</span> <span class="keywordtype">void</span> VisitFieldRef(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_field_ref.html">FieldRef</a> fieldRef)</div>
<div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;            {</div>
<div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;                var fd = fieldRef.FieldDesc;</div>
<div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;                <span class="keywordflow">if</span> (fd.IsStatic)</div>
<div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;                {</div>
<div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;                    var cfd = fd as <a class="code" href="class_system_sharp_1_1_meta_1_1_c_i_l_field_descriptor.html">CILFieldDescriptor</a>;</div>
<div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;                    <span class="keywordflow">if</span> (cfd != null)</div>
<div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;                    {</div>
<div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;                        var pkg = _design.TypeLib.GetPackage(cfd.Field.DeclaringType);</div>
<div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;                        fd = pkg.Canonicalize(fd);</div>
<div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;                        CurComponent.AddDependency(pkg);</div>
<div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;                    }</div>
<div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;                }</div>
<div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;                <span class="keywordflow">else</span></div>
<div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;                {</div>
<div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;                    fd = CurComponent.Canonicalize(fd);</div>
<div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;                }</div>
<div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;                _result = <span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_field_ref.html">FieldRef</a>(fd);</div>
<div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;            }</div>
<div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;</div>
<div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;            <span class="keyword">public</span> <span class="keywordtype">void</span> VisitThisRef(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_this_ref.html">ThisRef</a> thisRef)</div>
<div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;            {</div>
<div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;                _result = thisRef;</div>
<div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;            }</div>
<div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;</div>
<div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;            <span class="keyword">public</span> <span class="keywordtype">void</span> VisitSignalRef(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_signal_ref.html">SignalRef</a> signalRef)</div>
<div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;            {</div>
<div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;                _result = signalRef;</div>
<div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;            }</div>
<div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;</div>
<div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;            <span class="keyword">public</span> <span class="keywordtype">void</span> VisitArrayRef(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_array_ref.html">ArrayRef</a> arrayRef)</div>
<div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;            {</div>
<div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;                Resolve(arrayRef.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_array_ref.html#a82f13e97e66c7f6ec9be1ae9bbd19799">ArrayExpr</a>);</div>
<div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;                <span class="keywordflow">foreach</span> (var idx <span class="keywordflow">in</span> arrayRef.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_array_ref.html#ab102860171302c0bcaa172e8fb6d00b5">Indices</a>)</div>
<div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;                    Resolve(idx);</div>
<div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;                _result = arrayRef;</div>
<div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;            }</div>
<div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;</div>
<div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;            <span class="keyword">private</span> <span class="keywordtype">void</span> Resolve(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html">Expression</a> expr)</div>
<div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;            {</div>
<div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;                var rtype = expr.ResultType;</div>
<div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;                RequireType(rtype, _design);</div>
<div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;                <span class="keywordflow">foreach</span> (<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html">Expression</a> child <span class="keywordflow">in</span> expr.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html#a19ac0d3375d370e384b14dc8b70ea540">Children</a>)</div>
<div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;                    Resolve(child);</div>
<div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;                var lr = expr as <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_literal_reference.html">LiteralReference</a>;</div>
<div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;                <span class="keywordflow">if</span> (lr != null)</div>
<div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;                {</div>
<div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;                    lr.ReferencedObject.Accept(<span class="keyword">this</span>);</div>
<div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;                }</div>
<div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;                var call = expr as <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_function_call.html">FunctionCall</a>;</div>
<div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;                <span class="keywordflow">if</span> (call != null)</div>
<div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;                {</div>
<div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;                    ProcessCallable(call.Callee);</div>
<div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;                }</div>
<div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;            }</div>
<div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;</div>
<div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;            <span class="keyword">public</span> StmtTypeResolver(<a class="code" href="class_system_sharp_1_1_meta_1_1_design_descriptor.html">DesignDescriptor</a> design, <a class="code" href="interface_system_sharp_1_1_meta_1_1_i_component_descriptor.html">IComponentDescriptor</a> component)</div>
<div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;            {</div>
<div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;                _design = design;</div>
<div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;                CurComponent = component;</div>
<div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;                _stack.Push((<a class="code" href="interface_system_sharp_1_1_meta_1_1_i_package_or_component_descriptor.html">IPackageOrComponentDescriptor</a>)component);</div>
<div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;            }</div>
<div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;</div>
<div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;            <span class="keyword">public</span> <span class="keywordtype">void</span> AcceptCompoundStatement(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_compound_statement.html">CompoundStatement</a> stmt)</div>
<div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;            {</div>
<div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;                stmt.Statements.Accept(<span class="keyword">this</span>);</div>
<div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;            }</div>
<div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;</div>
<div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;            <span class="keyword">public</span> <span class="keywordtype">void</span> AcceptLoopBlock(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html">LoopBlock</a> stmt)</div>
<div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;            {</div>
<div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;                stmt.Body.Accept(<span class="keyword">this</span>);</div>
<div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;                <span class="keywordflow">if</span> (stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html#a5134a4f6fad2bd884624976983cfa6a7">CounterVariable</a> != null)</div>
<div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;                    RequireType(stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html#a5134a4f6fad2bd884624976983cfa6a7">CounterVariable</a>.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_variable.html#aab46d77a29603895f08dc61ee73f4a72">Type</a>, _design);</div>
<div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;                <span class="keywordflow">if</span> (stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html#ae69eaa94bcba73ca0d6e1c25c6590ba1">HeadCondition</a> != null)</div>
<div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;                    Resolve(stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html#ae69eaa94bcba73ca0d6e1c25c6590ba1">HeadCondition</a>);</div>
<div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;                <span class="keywordflow">if</span> (stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html#ab6a1bdb097c141fd2c2a060db5d9ae79">Initializer</a> != null)</div>
<div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;                    stmt.Initializer.Accept(<span class="keyword">this</span>);</div>
<div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;                <span class="keywordflow">if</span> (stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html#aacd2c38cfe0f95f392be1f46496aa76e">Trailer</a> != null)</div>
<div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;                    stmt.Trailer.Accept(<span class="keyword">this</span>);</div>
<div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;            }</div>
<div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;</div>
<div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;            <span class="keyword">public</span> <span class="keywordtype">void</span> AcceptBreakLoop(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_break_loop_statement.html">BreakLoopStatement</a> stmt)</div>
<div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;            {</div>
<div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;            }</div>
<div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;</div>
<div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;            <span class="keyword">public</span> <span class="keywordtype">void</span> AcceptContinueLoop(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_continue_loop_statement.html">ContinueLoopStatement</a> stmt)</div>
<div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;            {</div>
<div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;            }</div>
<div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;</div>
<div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;            <span class="keyword">public</span> <span class="keywordtype">void</span> AcceptIf(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_if_statement.html">IfStatement</a> stmt)</div>
<div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;            {</div>
<div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;                <span class="keywordflow">foreach</span> (var cond <span class="keywordflow">in</span> stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_if_statement.html#ada8e3f19627375431400ad9d7b85a4bb">Conditions</a>)</div>
<div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;                    Resolve(cond);</div>
<div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;                <span class="keywordflow">foreach</span> (var branch <span class="keywordflow">in</span> stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_if_statement.html#ab21ebf237d5dbd34adf2d817ebf2c737">Branches</a>)</div>
<div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;                    branch.Accept(<span class="keyword">this</span>);</div>
<div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;            }</div>
<div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;</div>
<div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;            <span class="keyword">public</span> <span class="keywordtype">void</span> AcceptCase(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_case_statement.html">CaseStatement</a> stmt)</div>
<div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;            {</div>
<div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;                Resolve(stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_case_statement.html#ad6d3bb5a5e3702b0516ba6350429d817">Selector</a>);</div>
<div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;                <span class="keywordflow">foreach</span> (var caseex <span class="keywordflow">in</span> stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_case_statement.html#a3477d068c7a2ee6227650cd3e452e440">Cases</a>)</div>
<div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;                    Resolve(caseex);</div>
<div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;                <span class="keywordflow">foreach</span> (var branch <span class="keywordflow">in</span> stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_case_statement.html#a3defade69c693c003ba9e4a2ca910334">Branches</a>)</div>
<div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;                    branch.Accept(<span class="keyword">this</span>);</div>
<div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;            }</div>
<div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;</div>
<div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;            <span class="keyword">public</span> <span class="keywordtype">void</span> AcceptStore(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_store_statement.html">StoreStatement</a> stmt)</div>
<div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;            {</div>
<div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;                RequireType(stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_store_statement.html#a0a1ae5400674e68848d8df3737ff06c6">Container</a>.<a class="code" href="interface_system_sharp_1_1_sys_d_o_m_1_1_i_literal.html#a2ac2c461091f60ef75bcd6af739ab453">Type</a>, _design);</div>
<div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;                stmt.Container.Accept(<span class="keyword">this</span>);</div>
<div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;                Resolve(stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_store_statement.html#a7b56e89958be5b709b65a9db38fc0258">Value</a>);</div>
<div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;            }</div>
<div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;</div>
<div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;            <span class="keyword">public</span> <span class="keywordtype">void</span> AcceptNop(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_nop_statement.html">NopStatement</a> stmt)</div>
<div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;            {</div>
<div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;            }</div>
<div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;</div>
<div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;            <span class="keyword">public</span> <span class="keywordtype">void</span> AcceptSolve(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_solve_statement.html">SolveStatement</a> stmt)</div>
<div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;            {</div>
<div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;                <span class="keywordflow">throw</span> <span class="keyword">new</span> NotImplementedException();</div>
<div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;            }</div>
<div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;</div>
<div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;            <span class="keyword">public</span> <span class="keywordtype">void</span> AcceptBreakCase(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_break_case_statement.html">BreakCaseStatement</a> stmt)</div>
<div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;            {</div>
<div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;            }</div>
<div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;</div>
<div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;            <span class="keyword">public</span> <span class="keywordtype">void</span> AcceptGotoCase(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_goto_case_statement.html">GotoCaseStatement</a> stmt)</div>
<div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;            {</div>
<div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;            }</div>
<div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;</div>
<div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;            <span class="keyword">public</span> <span class="keywordtype">void</span> AcceptGoto(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_goto_statement.html">GotoStatement</a> stmt)</div>
<div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;            {</div>
<div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;            }</div>
<div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;</div>
<div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;            <span class="keyword">public</span> <span class="keywordtype">void</span> AcceptReturn(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_return_statement.html">ReturnStatement</a> stmt)</div>
<div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;            {</div>
<div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;                <span class="keywordflow">if</span> (stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_return_statement.html#a08c866cc76f1e334e687b6b54eb0d5b6">ReturnValue</a> != null)</div>
<div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;                    Resolve(stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_return_statement.html#a08c866cc76f1e334e687b6b54eb0d5b6">ReturnValue</a>);</div>
<div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;            }</div>
<div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;</div>
<div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;            <span class="keyword">public</span> <span class="keywordtype">void</span> AcceptThrow(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_throw_statement.html">ThrowStatement</a> stmt)</div>
<div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;            {</div>
<div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;                <span class="keywordflow">if</span> (stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_throw_statement.html#aad713ccd1af5b3f3be7732f9d55ea176">ThrowExpr</a> != null)</div>
<div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;                    Resolve(stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_throw_statement.html#aad713ccd1af5b3f3be7732f9d55ea176">ThrowExpr</a>);</div>
<div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;            }</div>
<div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;</div>
<div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;            <span class="keyword">private</span> <span class="keywordtype">void</span> ProcessCallable(<a class="code" href="interface_system_sharp_1_1_sys_d_o_m_1_1_i_callable.html">ICallable</a> callable)</div>
<div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;            {</div>
<div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;                var fspec = callable as <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_function_spec.html">FunctionSpec</a>;</div>
<div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;                <span class="keywordflow">if</span> (fspec != null &amp;&amp; fspec.GenericSysDOMRep != null)</div>
<div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;                {</div>
<div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;                    var owner = (<a class="code" href="interface_system_sharp_1_1_meta_1_1_i_package_or_component_descriptor.html">IPackageOrComponentDescriptor</a>)fspec.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_function_spec.html#a0a5bbf92adbfc09a96804bf7fb8867a4">GenericSysDOMRep</a>.Owner;</div>
<div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;                    var ownerpkg = owner as <a class="code" href="class_system_sharp_1_1_meta_1_1_package_descriptor.html">PackageDescriptor</a>;</div>
<div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;                    if (ownerpkg != null)</div>
<div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;                    {</div>
<div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;                        _design.AddChild(ownerpkg, ownerpkg.Name);</div>
<div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;                        <span class="keywordflow">if</span> (owner != _stack.Peek())</div>
<div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;                            _stack.Peek().AddDependency(ownerpkg);</div>
<div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;                    }</div>
<div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;</div>
<div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;                    <span class="keywordflow">if</span> (!fspec.GenericSysDOMRep.IsActive)</div>
<div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;                    {</div>
<div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;                        fspec.GenericSysDOMRep.IsActive = <span class="keyword">true</span>;</div>
<div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;                        _stack.Push(owner);</div>
<div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;                        <span class="keywordflow">if</span> (fspec.GenericSysDOMRep.Implementation != null)</div>
<div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;                            fspec.GenericSysDOMRep.Implementation.Body.Accept(<span class="keyword">this</span>);</div>
<div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;                        _stack.Pop();</div>
<div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;                    }</div>
<div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;                }</div>
<div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;            }</div>
<div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;</div>
<div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;            <span class="keyword">public</span> <span class="keywordtype">void</span> AcceptCall(<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_call_statement.html">CallStatement</a> stmt)</div>
<div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;            {</div>
<div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;                <span class="keywordflow">foreach</span> (var arg <span class="keywordflow">in</span> stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_call_statement.html#a38e8bab62f3c7e8d90becef0883e89f8">Arguments</a>)</div>
<div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;                    Resolve(arg);</div>
<div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;                ProcessCallable(stmt.<a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_call_statement.html#a23e5834ea9bc8e347b83d9e2ed001034">Callee</a>);</div>
<div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;            }</div>
<div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;        }</div>
<div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;</div>
<div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;        <span class="keyword">static</span> <span class="keywordtype">void</span> ResolveTypeDependencies(<span class="keyword">this</span> <a class="code" href="class_system_sharp_1_1_meta_1_1_code_descriptor.html">CodeDescriptor</a> code, StmtTypeResolver str)</div>
<div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;        {</div>
<div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;            code.Implementation.Body.Accept(str);</div>
<div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;        }</div>
<div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;</div>
<div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;        <span class="keyword">static</span> <span class="keywordtype">void</span> ResolveTypeDependencies(<span class="keyword">this</span> <a class="code" href="interface_system_sharp_1_1_meta_1_1_i_component_descriptor.html">IComponentDescriptor</a> component, <a class="code" href="class_system_sharp_1_1_meta_1_1_design_descriptor.html">DesignDescriptor</a> design)</div>
<div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;        {</div>
<div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;            <span class="keywordflow">foreach</span> (var child <span class="keywordflow">in</span> component.GetChildComponents())</div>
<div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;            {</div>
<div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;                ResolveTypeDependencies(child, design);</div>
<div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;            }</div>
<div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;            var processes = component.GetProcesses().ToArray();</div>
<div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;            var str = <span class="keyword">new</span> StmtTypeResolver(design, component);</div>
<div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;            <span class="keywordflow">foreach</span> (var process <span class="keywordflow">in</span> processes)</div>
<div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;            {</div>
<div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;                ResolveTypeDependencies(process, str);</div>
<div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;            }</div>
<div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;            <span class="keywordflow">foreach</span> (var port <span class="keywordflow">in</span> component.GetPorts())</div>
<div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;            {</div>
<div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;                str.RequireType(port.ElementType, design);</div>
<div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;            }</div>
<div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;            <span class="keywordflow">foreach</span> (var signal <span class="keywordflow">in</span> component.GetSignals())</div>
<div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;            {</div>
<div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;                str.RequireType(signal.ElementType, design);</div>
<div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;            }</div>
<div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;            <span class="keywordflow">foreach</span> (var field <span class="keywordflow">in</span> component.GetFields())</div>
<div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;            {</div>
<div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;                str.RequireType(field.Type, design);</div>
<div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;            }</div>
<div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;        }</div>
<div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;</div>
<div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;        <span class="keyword">private</span> <span class="keyword">class </span>DependencyBrowser</div>
<div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;        {</div>
<div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;            <span class="keyword">private</span> <a class="code" href="class_system_sharp_1_1_meta_1_1_design_descriptor.html">DesignDescriptor</a> _design;</div>
<div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;            <span class="keyword">private</span> <span class="keywordtype">int</span> _curOrder;</div>
<div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;</div>
<div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;            <span class="keyword">public</span> DependencyBrowser(<a class="code" href="class_system_sharp_1_1_meta_1_1_design_descriptor.html">DesignDescriptor</a> design)</div>
<div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;            {</div>
<div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;                _design = design;</div>
<div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;                _curOrder = 0;</div>
<div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;            }</div>
<div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;</div>
<div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;            <span class="keyword">private</span> <span class="keywordtype">void</span> ResetOrders()</div>
<div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;            {</div>
<div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;                <span class="keywordflow">foreach</span> (var pkg <span class="keywordflow">in</span> _design.TypeLib.Packages)</div>
<div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;                {</div>
<div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;                    pkg.DependencyOrder = -2; <span class="comment">// yes, -2 is ok</span></div>
<div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;                }</div>
<div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;                var set = _design.GetChildComponents().SelectMany(c =&gt; c.GetAllAncestors());</div>
<div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;                <span class="keywordflow">foreach</span> (var component <span class="keywordflow">in</span> set)</div>
<div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;                {</div>
<div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;                    ((<a class="code" href="interface_system_sharp_1_1_meta_1_1_i_dependency_ordered.html">IDependencyOrdered</a>)component).DependencyOrder = -1;</div>
<div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;                }</div>
<div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;            }</div>
<div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;</div>
<div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;            <span class="keyword">private</span> <span class="keywordtype">void</span> PackageDFS(<a class="code" href="class_system_sharp_1_1_meta_1_1_package_descriptor.html">PackageDescriptor</a> pkg)</div>
<div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;            {</div>
<div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;                <span class="keywordflow">if</span> (pkg.<a class="code" href="class_system_sharp_1_1_meta_1_1_package_descriptor.html#a7a8fbb966677203cf0b82afd5e399b7d">DependencyOrder</a> &gt;= 0)</div>
<div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;                    <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;</div>
<div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;                <span class="keywordflow">if</span> (pkg.<a class="code" href="class_system_sharp_1_1_meta_1_1_package_descriptor.html#a7a8fbb966677203cf0b82afd5e399b7d">DependencyOrder</a> == -1)</div>
<div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;                    <span class="keywordflow">throw</span> <span class="keyword">new</span> InvalidOperationException(<span class="stringliteral">&quot;Recursive package dependency&quot;</span>);</div>
<div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;                pkg.DependencyOrder = -1;</div>
<div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;</div>
<div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;                <span class="keywordflow">foreach</span> (<a class="code" href="class_system_sharp_1_1_meta_1_1_package_descriptor.html">PackageDescriptor</a> dpkg <span class="keywordflow">in</span> pkg.<a class="code" href="class_system_sharp_1_1_meta_1_1_package_descriptor.html#ae8c1af7e86983059427f343ece15b438">Dependencies</a>)</div>
<div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;                    PackageDFS(dpkg);</div>
<div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;</div>
<div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;                pkg.DependencyOrder = _curOrder++;</div>
<div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;            }</div>
<div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;</div>
<div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;            <span class="keyword">private</span> <span class="keywordtype">void</span> ComponentDFS(<a class="code" href="interface_system_sharp_1_1_meta_1_1_i_component_descriptor.html">IComponentDescriptor</a> component)</div>
<div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;            {</div>
<div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;                <a class="code" href="interface_system_sharp_1_1_meta_1_1_i_dependency_ordered.html">IDependencyOrdered</a> ordered = component as <a class="code" href="interface_system_sharp_1_1_meta_1_1_i_dependency_ordered.html">IDependencyOrdered</a>;</div>
<div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;                <span class="keywordflow">if</span> (ordered.<a class="code" href="interface_system_sharp_1_1_meta_1_1_i_dependency_ordered.html#a0a670c99e098c8bb11359268c80bfbc0">DependencyOrder</a> &gt;= 0)</div>
<div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;                    <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;</div>
<div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;                <span class="keywordflow">foreach</span> (<a class="code" href="interface_system_sharp_1_1_meta_1_1_i_component_descriptor.html">IComponentDescriptor</a> child <span class="keywordflow">in</span> component.GetChildComponents())</div>
<div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;                    ComponentDFS(child);</div>
<div class="line"><a name="l00325"></a><span class="lineno">  325</span>&#160;</div>
<div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;                ordered.DependencyOrder = _curOrder++;</div>
<div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;            }</div>
<div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;</div>
<div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;            <span class="keyword">public</span> <span class="keywordtype">void</span> Browse()</div>
<div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;            {</div>
<div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;                ResetOrders();</div>
<div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;                <span class="keywordflow">foreach</span> (<a class="code" href="class_system_sharp_1_1_meta_1_1_package_descriptor.html">PackageDescriptor</a> pkg <span class="keywordflow">in</span> _design.TypeLib.Packages)</div>
<div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;                    PackageDFS(pkg);</div>
<div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;                <span class="keywordflow">foreach</span> (<a class="code" href="interface_system_sharp_1_1_meta_1_1_i_component_descriptor.html">IComponentDescriptor</a> component <span class="keywordflow">in</span> _design.GetChildComponents())</div>
<div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;                    ComponentDFS(component);</div>
<div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;            }</div>
<div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;        }</div>
<div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;</div>
<div class="line"><a name="l00343"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_meta_1_1_type_dependency_resolution.html#a8b9b442b175fdbeb34d08083b0afb7a5">  343</a></span>&#160;        <span class="keyword">public</span> <span class="keyword">static</span> <span class="keywordtype">void</span> <a class="code" href="class_system_sharp_1_1_meta_1_1_type_dependency_resolution.html#a8b9b442b175fdbeb34d08083b0afb7a5">ResolveTypeDependencies</a>(<span class="keyword">this</span> <a class="code" href="class_system_sharp_1_1_meta_1_1_design_descriptor.html">DesignDescriptor</a> design)</div>
<div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;        {</div>
<div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;            <span class="keywordflow">foreach</span> (var component <span class="keywordflow">in</span> design.GetChildComponents().ToArray())</div>
<div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;            {</div>
<div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;                ResolveTypeDependencies(component, design);</div>
<div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;            }</div>
<div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;            DependencyBrowser browser = <span class="keyword">new</span> DependencyBrowser(design);</div>
<div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;            browser.Browse();</div>
<div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;        }</div>
<div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;    }</div>
<div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;}</div>
<div class="ttc" id="class_system_sharp_1_1_meta_1_1_type_dependency_resolution_html"><div class="ttname"><a href="class_system_sharp_1_1_meta_1_1_type_dependency_resolution.html">SystemSharp.Meta.TypeDependencyResolution</a></div><div class="ttdoc">This static class provides a service for inspecting a design context for structural or programatic us...</div><div class="ttdef"><b>Definition:</b> <a href="_type_dependency_resolution_8cs_source.html#l00036">TypeDependencyResolution.cs:36</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_field_ref_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_field_ref.html">SystemSharp.SysDOM.FieldRef</a></div><div class="ttdoc">A field reference literal. </div><div class="ttdef"><b>Definition:</b> <a href="_literals_8cs_source.html#l00291">Literals.cs:291</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_call_statement_html_a38e8bab62f3c7e8d90becef0883e89f8"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_call_statement.html#a38e8bab62f3c7e8d90becef0883e89f8">SystemSharp.SysDOM.CallStatement.Arguments</a></div><div class="ttdeci">Expression[] Arguments</div><div class="ttdoc">The call arguments. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00768">Algorithms.cs:768</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_goto_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_goto_statement.html">SystemSharp.SysDOM.GotoStatement</a></div><div class="ttdoc">Models a &quot;goto&quot; statement. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00657">Algorithms.cs:657</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_array_ref_html_ab102860171302c0bcaa172e8fb6d00b5"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_array_ref.html#ab102860171302c0bcaa172e8fb6d00b5">SystemSharp.SysDOM.ArrayRef.Indices</a></div><div class="ttdeci">Expression[] Indices</div><div class="ttdoc">Expressions representing the array indices. </div><div class="ttdef"><b>Definition:</b> <a href="_literals_8cs_source.html#l00929">Literals.cs:929</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_variable_html_aab46d77a29603895f08dc61ee73f4a72"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_variable.html#aab46d77a29603895f08dc61ee73f4a72">SystemSharp.SysDOM.Variable.Type</a></div><div class="ttdeci">override TypeDescriptor Type</div><div class="ttdef"><b>Definition:</b> <a href="_literals_8cs_source.html#l00216">Literals.cs:216</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_meta_1_1_package_descriptor_html"><div class="ttname"><a href="class_system_sharp_1_1_meta_1_1_package_descriptor.html">SystemSharp.Meta.PackageDescriptor</a></div><div class="ttdoc">Describes a package. </div><div class="ttdef"><b>Definition:</b> <a href="_components_reflection_8cs_source.html#l01969">ComponentsReflection.cs:1969</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_meta_1_1_package_descriptor_html_a7a8fbb966677203cf0b82afd5e399b7d"><div class="ttname"><a href="class_system_sharp_1_1_meta_1_1_package_descriptor.html#a7a8fbb966677203cf0b82afd5e399b7d">SystemSharp.Meta.PackageDescriptor.DependencyOrder</a></div><div class="ttdeci">int DependencyOrder</div><div class="ttdoc">Position at which the described package should be compiled with respect to other packages. </div><div class="ttdef"><b>Definition:</b> <a href="_components_reflection_8cs_source.html#l02053">ComponentsReflection.cs:2053</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_solve_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_solve_statement.html">SystemSharp.SysDOM.SolveStatement</a></div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00972">Algorithms.cs:972</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_function_call_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_function_call.html">SystemSharp.SysDOM.FunctionCall</a></div><div class="ttdoc">A function call expression. </div><div class="ttdef"><b>Definition:</b> <a href="_core_algebraic_8cs_source.html#l03496">CoreAlgebraic.cs:3496</a></div></div>
<div class="ttc" id="interface_system_sharp_1_1_meta_1_1_i_dependency_ordered_html_a0a670c99e098c8bb11359268c80bfbc0"><div class="ttname"><a href="interface_system_sharp_1_1_meta_1_1_i_dependency_ordered.html#a0a670c99e098c8bb11359268c80bfbc0">SystemSharp.Meta.IDependencyOrdered.DependencyOrder</a></div><div class="ttdeci">int DependencyOrder</div><div class="ttdef"><b>Definition:</b> <a href="_components_reflection_8cs_source.html#l01917">ComponentsReflection.cs:1917</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_array_ref_html_a82f13e97e66c7f6ec9be1ae9bbd19799"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_array_ref.html#a82f13e97e66c7f6ec9be1ae9bbd19799">SystemSharp.SysDOM.ArrayRef.ArrayExpr</a></div><div class="ttdeci">Expression ArrayExpr</div><div class="ttdoc">Expression representing the array. </div><div class="ttdef"><b>Definition:</b> <a href="_literals_8cs_source.html#l00924">Literals.cs:924</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_expression_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html">SystemSharp.SysDOM.Expression</a></div><div class="ttdoc">An expression. </div><div class="ttdef"><b>Definition:</b> <a href="_core_algebraic_8cs_source.html#l01096">CoreAlgebraic.cs:1096</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_store_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_store_statement.html">SystemSharp.SysDOM.StoreStatement</a></div><div class="ttdoc">Models a field/variable assignment or a signal transfer. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l01018">Algorithms.cs:1018</a></div></div>
<div class="ttc" id="interface_system_sharp_1_1_sys_d_o_m_1_1_i_literal_html_a2ac2c461091f60ef75bcd6af739ab453"><div class="ttname"><a href="interface_system_sharp_1_1_sys_d_o_m_1_1_i_literal.html#a2ac2c461091f60ef75bcd6af739ab453">SystemSharp.SysDOM.ILiteral.Type</a></div><div class="ttdeci">TypeDescriptor Type</div><div class="ttdoc">Returns the type descriptor of the data which is represented by this literal. </div><div class="ttdef"><b>Definition:</b> <a href="_literals_8cs_source.html#l00077">Literals.cs:77</a></div></div>
<div class="ttc" id="interface_system_sharp_1_1_sys_d_o_m_1_1_i_callable_html"><div class="ttname"><a href="interface_system_sharp_1_1_sys_d_o_m_1_1_i_callable.html">SystemSharp.SysDOM.ICallable</a></div><div class="ttdoc">Common interface for everything which may be called as a function. </div><div class="ttdef"><b>Definition:</b> <a href="_core_algebraic_8cs_source.html#l03339">CoreAlgebraic.cs:3339</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_meta_1_1_design_descriptor_html"><div class="ttname"><a href="class_system_sharp_1_1_meta_1_1_design_descriptor.html">SystemSharp.Meta.DesignDescriptor</a></div><div class="ttdoc">Describes the overall design. This is the root component of the design hierarchy. ...</div><div class="ttdef"><b>Definition:</b> <a href="_components_reflection_8cs_source.html#l02171">ComponentsReflection.cs:2171</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_throw_statement_html_aad713ccd1af5b3f3be7732f9d55ea176"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_throw_statement.html#aad713ccd1af5b3f3be7732f9d55ea176">SystemSharp.SysDOM.ThrowStatement.ThrowExpr</a></div><div class="ttdeci">Expression ThrowExpr</div><div class="ttdoc">The thrown expression. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00730">Algorithms.cs:730</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_function_spec_html_a0a5bbf92adbfc09a96804bf7fb8867a4"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_function_spec.html#a0a5bbf92adbfc09a96804bf7fb8867a4">SystemSharp.SysDOM.FunctionSpec.GenericSysDOMRep</a></div><div class="ttdeci">MethodDescriptor GenericSysDOMRep</div><div class="ttdoc">SysDOM representation of the specified function without calling context specializations. </div><div class="ttdef"><b>Definition:</b> <a href="_core_algebraic_8cs_source.html#l03397">CoreAlgebraic.cs:3397</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_meta_1_1_c_i_l_field_descriptor_html"><div class="ttname"><a href="class_system_sharp_1_1_meta_1_1_c_i_l_field_descriptor.html">SystemSharp.Meta.CILFieldDescriptor</a></div><div class="ttdoc">Describes a field which is represented by a field of the Common Language Infrastructure (CLI)...</div><div class="ttdef"><b>Definition:</b> <a href="_components_reflection_8cs_source.html#l00859">ComponentsReflection.cs:859</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_array_ref_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_array_ref.html">SystemSharp.SysDOM.ArrayRef</a></div><div class="ttdoc">An array element reference literal. </div><div class="ttdef"><b>Definition:</b> <a href="_literals_8cs_source.html#l00918">Literals.cs:918</a></div></div>
<div class="ttc" id="interface_system_sharp_1_1_meta_1_1_i_package_or_component_descriptor_html"><div class="ttname"><a href="interface_system_sharp_1_1_meta_1_1_i_package_or_component_descriptor.html">SystemSharp.Meta.IPackageOrComponentDescriptor</a></div><div class="ttdoc">This interface describes the common properties of packages and components. </div><div class="ttdef"><b>Definition:</b> <a href="_components_reflection_8cs_source.html#l01892">ComponentsReflection.cs:1892</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_variable_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_variable.html">SystemSharp.SysDOM.Variable</a></div><div class="ttdoc">A local variable. </div><div class="ttdef"><b>Definition:</b> <a href="_literals_8cs_source.html#l00195">Literals.cs:195</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_break_case_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_break_case_statement.html">SystemSharp.SysDOM.BreakCaseStatement</a></div><div class="ttdoc">Models a &quot;break case&quot; statement. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00582">Algorithms.cs:582</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_if_statement_html_ada8e3f19627375431400ad9d7b85a4bb"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_if_statement.html#ada8e3f19627375431400ad9d7b85a4bb">SystemSharp.SysDOM.IfStatement.Conditions</a></div><div class="ttdeci">List&lt; Expression &gt; Conditions</div><div class="ttdoc">The list of if/elsif conditions. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00818">Algorithms.cs:818</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_if_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_if_statement.html">SystemSharp.SysDOM.IfStatement</a></div><div class="ttdoc">Models an &quot;if-then-elsif-...-else&quot; statement. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00804">Algorithms.cs:804</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_if_statement_html_ab21ebf237d5dbd34adf2d817ebf2c737"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_if_statement.html#ab21ebf237d5dbd34adf2d817ebf2c737">SystemSharp.SysDOM.IfStatement.Branches</a></div><div class="ttdeci">List&lt; Statement &gt; Branches</div><div class="ttdoc">The list of then/elsif/else branches. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00827">Algorithms.cs:827</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_literal_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_literal.html">SystemSharp.SysDOM.Literal</a></div><div class="ttdoc">Abstract base class for literals. </div><div class="ttdef"><b>Definition:</b> <a href="_literals_8cs_source.html#l00091">Literals.cs:91</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block_html_a5134a4f6fad2bd884624976983cfa6a7"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html#a5134a4f6fad2bd884624976983cfa6a7">SystemSharp.SysDOM.LoopBlock.CounterVariable</a></div><div class="ttdeci">Variable CounterVariable</div><div class="ttdoc">The counter variable (given this is a &quot;strict&quot; for-loop) </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00360">Algorithms.cs:360</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_goto_case_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_goto_case_statement.html">SystemSharp.SysDOM.GotoCaseStatement</a></div><div class="ttdoc">Models to &quot;goto case&quot; statement. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00615">Algorithms.cs:615</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_return_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_return_statement.html">SystemSharp.SysDOM.ReturnStatement</a></div><div class="ttdoc">Models a &quot;return from procedure/function&quot; statement. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00693">Algorithms.cs:693</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_store_statement_html_a7b56e89958be5b709b65a9db38fc0258"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_store_statement.html#a7b56e89958be5b709b65a9db38fc0258">SystemSharp.SysDOM.StoreStatement.Value</a></div><div class="ttdeci">Expression Value</div><div class="ttdoc">The right-hand side expression of assignment. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l01028">Algorithms.cs:1028</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_constant_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_constant.html">SystemSharp.SysDOM.Constant</a></div><div class="ttdoc">A literal representing a constant value. </div><div class="ttdef"><b>Definition:</b> <a href="_literals_8cs_source.html#l00116">Literals.cs:116</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_nop_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_nop_statement.html">SystemSharp.SysDOM.NopStatement</a></div><div class="ttdoc">Models a &quot;do nothing&quot; statement. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l01058">Algorithms.cs:1058</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_meta_1_1_type_dependency_resolution_html_a8b9b442b175fdbeb34d08083b0afb7a5"><div class="ttname"><a href="class_system_sharp_1_1_meta_1_1_type_dependency_resolution.html#a8b9b442b175fdbeb34d08083b0afb7a5">SystemSharp.Meta.TypeDependencyResolution.ResolveTypeDependencies</a></div><div class="ttdeci">static void ResolveTypeDependencies(this DesignDescriptor design)</div><div class="ttdoc">Inspects the design for structural or programatic use of data types. It ensures that every component ...</div><div class="ttdef"><b>Definition:</b> <a href="_type_dependency_resolution_8cs_source.html#l00343">TypeDependencyResolution.cs:343</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_expression_html_a19ac0d3375d370e384b14dc8b70ea540"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html#a19ac0d3375d370e384b14dc8b70ea540">SystemSharp.SysDOM.Expression.Children</a></div><div class="ttdeci">virtual Expression[] Children</div><div class="ttdoc">Returns the expression operands. </div><div class="ttdef"><b>Definition:</b> <a href="_core_algebraic_8cs_source.html#l01175">CoreAlgebraic.cs:1175</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block_html_aacd2c38cfe0f95f392be1f46496aa76e"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html#aacd2c38cfe0f95f392be1f46496aa76e">SystemSharp.SysDOM.LoopBlock.Trailer</a></div><div class="ttdeci">Statement Trailer</div><div class="ttdoc">The trailer is executed after the very last loop iteration. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00347">Algorithms.cs:347</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_case_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_case_statement.html">SystemSharp.SysDOM.CaseStatement</a></div><div class="ttdoc">Models a &quot;case select&quot; statement. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00874">Algorithms.cs:874</a></div></div>
<div class="ttc" id="interface_system_sharp_1_1_sys_d_o_m_1_1_i_literal_visitor_html"><div class="ttname"><a href="interface_system_sharp_1_1_sys_d_o_m_1_1_i_literal_visitor.html">SystemSharp.SysDOM.ILiteralVisitor</a></div><div class="ttdoc">Visitor pattern interface for literals. </div><div class="ttdef"><b>Definition:</b> <a href="_literals_8cs_source.html#l01206">Literals.cs:1206</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_function_spec_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_function_spec.html">SystemSharp.SysDOM.FunctionSpec</a></div><div class="ttdoc">A function specifier with possibly multiple representations in different domains. ...</div><div class="ttdef"><b>Definition:</b> <a href="_core_algebraic_8cs_source.html#l03377">CoreAlgebraic.cs:3377</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_meta_1_1_code_descriptor_html"><div class="ttname"><a href="class_system_sharp_1_1_meta_1_1_code_descriptor.html">SystemSharp.Meta.CodeDescriptor</a></div><div class="ttdoc">This abstract class describes code in the CLI and SysDOM domain. </div><div class="ttdef"><b>Definition:</b> <a href="_components_reflection_8cs_source.html#l01472">ComponentsReflection.cs:1472</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_break_loop_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_break_loop_statement.html">SystemSharp.SysDOM.BreakLoopStatement</a></div><div class="ttdoc">Models a &quot;break loop&quot; statement. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00490">Algorithms.cs:490</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_meta_1_1_package_descriptor_html_ae8c1af7e86983059427f343ece15b438"><div class="ttname"><a href="class_system_sharp_1_1_meta_1_1_package_descriptor.html#ae8c1af7e86983059427f343ece15b438">SystemSharp.Meta.PackageDescriptor.Dependencies</a></div><div class="ttdeci">IEnumerable&lt; PackageDescriptor &gt; Dependencies</div><div class="ttdoc">Returns all packages on which the described package depends. </div><div class="ttdef"><b>Definition:</b> <a href="_components_reflection_8cs_source.html#l02046">ComponentsReflection.cs:2046</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html">SystemSharp.SysDOM.LoopBlock</a></div><div class="ttdoc">Represents a loop. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00315">Algorithms.cs:315</a></div></div>
<div class="ttc" id="interface_system_sharp_1_1_meta_1_1_i_dependency_ordered_html"><div class="ttname"><a href="interface_system_sharp_1_1_meta_1_1_i_dependency_ordered.html">SystemSharp.Meta.IDependencyOrdered</a></div><div class="ttdef"><b>Definition:</b> <a href="_components_reflection_8cs_source.html#l01915">ComponentsReflection.cs:1915</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_call_statement_html_a23e5834ea9bc8e347b83d9e2ed001034"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_call_statement.html#a23e5834ea9bc8e347b83d9e2ed001034">SystemSharp.SysDOM.CallStatement.Callee</a></div><div class="ttdeci">ICallable Callee</div><div class="ttdoc">The called function/procedure. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00763">Algorithms.cs:763</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_this_ref_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_this_ref.html">SystemSharp.SysDOM.ThisRef</a></div><div class="ttdoc">A literal which represents the currently active instance during non-static method execution...</div><div class="ttdef"><b>Definition:</b> <a href="_literals_8cs_source.html#l00377">Literals.cs:377</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_store_statement_html_a0a1ae5400674e68848d8df3737ff06c6"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_store_statement.html#a0a1ae5400674e68848d8df3737ff06c6">SystemSharp.SysDOM.StoreStatement.Container</a></div><div class="ttdeci">IStorableLiteral Container</div><div class="ttdoc">The left-hand side: assignment target. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l01023">Algorithms.cs:1023</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_meta_1_1_type_descriptor_html"><div class="ttname"><a href="class_system_sharp_1_1_meta_1_1_type_descriptor.html">SystemSharp.Meta.TypeDescriptor</a></div><div class="ttdoc">Describes a type. </div><div class="ttdef"><b>Definition:</b> <a href="_type_descriptor_8cs_source.html#l00120">TypeDescriptor.cs:120</a></div></div>
<div class="ttc" id="interface_system_sharp_1_1_sys_d_o_m_1_1_i_statement_visitor_html"><div class="ttname"><a href="interface_system_sharp_1_1_sys_d_o_m_1_1_i_statement_visitor.html">SystemSharp.SysDOM.IStatementVisitor</a></div><div class="ttdoc">Visitor pattern interface for statements. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00037">Algorithms.cs:37</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block_html_ae69eaa94bcba73ca0d6e1c25c6590ba1"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html#ae69eaa94bcba73ca0d6e1c25c6590ba1">SystemSharp.SysDOM.LoopBlock.HeadCondition</a></div><div class="ttdeci">Expression HeadCondition</div><div class="ttdoc">The head condition is evaluated at loop entry. The loop body is executed only if it evaluates to true...</div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00323">Algorithms.cs:323</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_continue_loop_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_continue_loop_statement.html">SystemSharp.SysDOM.ContinueLoopStatement</a></div><div class="ttdoc">Models a &quot;continue loop&quot; statement. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00536">Algorithms.cs:536</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_case_statement_html_a3477d068c7a2ee6227650cd3e452e440"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_case_statement.html#a3477d068c7a2ee6227650cd3e452e440">SystemSharp.SysDOM.CaseStatement.Cases</a></div><div class="ttdeci">List&lt; Expression &gt; Cases</div><div class="ttdoc">The list of case conditions. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00893">Algorithms.cs:893</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_meta_1_1_type_descriptor_html_a2304c78f42e22f2ebbbaa6ee3e46ed05"><div class="ttname"><a href="class_system_sharp_1_1_meta_1_1_type_descriptor.html#a2304c78f42e22f2ebbbaa6ee3e46ed05">SystemSharp.Meta.TypeDescriptor.HasIntrinsicTypeOverride</a></div><div class="ttdeci">bool HasIntrinsicTypeOverride</div><div class="ttdoc">Whether the descriptor describes a System#-intrinsic type. </div><div class="ttdef"><b>Definition:</b> <a href="_type_descriptor_8cs_source.html#l00141">TypeDescriptor.cs:141</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_literal_reference_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_literal_reference.html">SystemSharp.SysDOM.LiteralReference</a></div><div class="ttdoc">A reference expression to a literal. </div><div class="ttdef"><b>Definition:</b> <a href="_core_algebraic_8cs_source.html#l02101">CoreAlgebraic.cs:2101</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_throw_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_throw_statement.html">SystemSharp.SysDOM.ThrowStatement</a></div><div class="ttdoc">Models a &quot;throw exception&quot; statement. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00725">Algorithms.cs:725</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block_html_ab6a1bdb097c141fd2c2a060db5d9ae79"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_loop_block.html#ab6a1bdb097c141fd2c2a060db5d9ae79">SystemSharp.SysDOM.LoopBlock.Initializer</a></div><div class="ttdeci">StoreStatement Initializer</div><div class="ttdoc">The initializer is executed prior to the very first loop iteration. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00339">Algorithms.cs:339</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_call_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_call_statement.html">SystemSharp.SysDOM.CallStatement</a></div><div class="ttdoc">Models a function/procedure call statement. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00758">Algorithms.cs:758</a></div></div>
<div class="ttc" id="interface_system_sharp_1_1_meta_1_1_i_component_descriptor_html"><div class="ttname"><a href="interface_system_sharp_1_1_meta_1_1_i_component_descriptor.html">SystemSharp.Meta.IComponentDescriptor</a></div><div class="ttdoc">Base interface for component descriptors. </div><div class="ttdef"><b>Definition:</b> <a href="_components_reflection_8cs_source.html#l01923">ComponentsReflection.cs:1923</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_case_statement_html_a3defade69c693c003ba9e4a2ca910334"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_case_statement.html#a3defade69c693c003ba9e4a2ca910334">SystemSharp.SysDOM.CaseStatement.Branches</a></div><div class="ttdeci">List&lt; Statement &gt; Branches</div><div class="ttdoc">The list of case actions. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00903">Algorithms.cs:903</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_case_statement_html_ad6d3bb5a5e3702b0516ba6350429d817"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_case_statement.html#ad6d3bb5a5e3702b0516ba6350429d817">SystemSharp.SysDOM.CaseStatement.Selector</a></div><div class="ttdeci">Expression Selector</div><div class="ttdoc">The selector expression. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00888">Algorithms.cs:888</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_compound_statement_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_compound_statement.html">SystemSharp.SysDOM.CompoundStatement</a></div><div class="ttdoc">A composition of other statements with sequential execution semantics. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00260">Algorithms.cs:260</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_signal_ref_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_signal_ref.html">SystemSharp.SysDOM.SignalRef</a></div><div class="ttdoc">Signal reference literal </div><div class="ttdef"><b>Definition:</b> <a href="_literals_8cs_source.html#l00498">Literals.cs:498</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_return_statement_html_a08c866cc76f1e334e687b6b54eb0d5b6"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_return_statement.html#a08c866cc76f1e334e687b6b54eb0d5b6">SystemSharp.SysDOM.ReturnStatement.ReturnValue</a></div><div class="ttdeci">Expression ReturnValue</div><div class="ttdoc">The return value expression, if any. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l00698">Algorithms.cs:698</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_meta_1_1_type_descriptor_html_a0169e7b6aac9da0659a1bb6b7474cfee"><div class="ttname"><a href="class_system_sharp_1_1_meta_1_1_type_descriptor.html#a0169e7b6aac9da0659a1bb6b7474cfee">SystemSharp.Meta.TypeDescriptor.CILType</a></div><div class="ttdeci">Type CILType</div><div class="ttdoc">The underlying CLI type information. </div><div class="ttdef"><b>Definition:</b> <a href="_type_descriptor_8cs_source.html#l00136">TypeDescriptor.cs:136</a></div></div>
</div><!-- fragment --></div><!-- contents -->
</div><!-- doc-content -->
<!-- start footer part -->
<div id="nav-path" class="navpath"><!-- id is needed for treeview function! -->
  <ul>
    <li class="navelem"><a class="el" href="dir_bb5e995590685548b7e11478911ee7c3.html">SystemSharp-Google-SVN</a></li><li class="navelem"><a class="el" href="dir_8deefa4467a62b572b52d238d562b104.html">SystemSharp</a></li><li class="navelem"><a class="el" href="dir_0e5a72156f8560bbc472a395da2569d6.html">SystemSharp</a></li><li class="navelem"><a class="el" href="dir_9d3c30b4336bd92c64ccf0aeee487ace.html">SystemSharp</a></li><li class="navelem"><a class="el" href="dir_ad565bad6a3a698eff681060b32310b3.html">Meta</a></li><li class="navelem"><a class="el" href="_type_dependency_resolution_8cs.html">TypeDependencyResolution.cs</a></li>
    <li class="footer">Generated on Thu Dec 26 2013 14:21:44 for SystemSharp by
    <a href="http://www.doxygen.org/index.html">
    <img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.8.6 </li>
  </ul>
</div>
</body>
</html>
